Ihre Suche nach "applied logic" ergab 14 Treffer

Ansicht:
: Advances in Applied Logics, Buch

Advances in Applied Logics

Intelligent Systems Reference Library -Band 243

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
Artikel ist im Warenkorb
: Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 11, number 4, August 2024, Buch

Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 11, number 4, August 2024

The Journal of Applied Logics- IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and availab…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 33,33*
Artikel ist im Warenkorb
: Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 10, number 5, November 2023, Buch

Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 10, number 5, November 2023

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and availa…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 40,17*
Artikel ist im Warenkorb
: Guide to Software Verification with Frama-C, Buch

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,33*
Artikel ist im Warenkorb
Kenneth J. Supowit: Algorithms for Constructing Computably Enumerable Sets, Buch

Kenneth J. Supowit
Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
William M. Farmer: Simple Type Theory, Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Raymond Devillers: Petri Net Primer, Buch

Raymond Devillers, Eike Best
Petri Net Primer

Computer Science Foundations and Applied Logic

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 85,33*
Artikel ist im Warenkorb
Xiaojuan Liao: Applied Satisfiability, Buch

Xiaojuan Liao, Miyuki Koshimura
Applied Satisfiability

Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem…

lieferbar ab 5.2.2025.
Buch
EUR 181,22*
Artikel ist im Warenkorb
: Fuzzy Logic Applications in Computer Science and Mathematics, Buch

Fuzzy Logic Applications in Computer Science and Mathematics

The prime objective of developing this book is to provide meticulous details about the basic and advanced concepts of fuzzy logic and its all-around applications to different fields of mathematics and eng…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 238,07*
Artikel ist im Warenkorb
: Decision-Making Models, Buch

Decision-Making Models

Decision Making Models: A Perspective of Fuzzy Logic and Machine Learning presents the latest developments in the field of uncertain mathematics and decision science. The book aims to deliver a systematic…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 183,76*
Artikel ist im Warenkorb
Maria Han Veiga: The Mathematics of Machine Learning, Buch

Maria Han Veiga, François Gaston Ged
The Mathematics of Machine Learning

De Gruyter Textbook

This book is an introduction to machine learning, with a strong focus on the mathematics behind the standard algorithms and techniques in the field, aimed at senior undergraduates and early graduate stude…

sofort lieferbar
Buch
EUR 64,75*
Artikel ist im Warenkorb
Kee Avil (Vicky Mettler): Crease, CD

Kee Avil
Crease

Crease ist das Debütalbum von Kee Avil, einem Projekt der Produzentin und Gitarristin Vicky Mettler aus Montréal: ein einzigartiger Ausdruck gebrochener Traumlogik, die sich in gemeißelten Postpunk-Gitarr…

lieferbar innerhalb 1-2 Wochen
CD
 
EUR 16,99*
Artikel ist im Warenkorb
Kee Avil (Vicky Mettler): Crease (180g), LP

Kee Avil
Crease (180g)

Crease ist das Debütalbum von Kee Avil, einem Projekt der Produzentin und Gitarristin Vicky Mettler aus Montréal: ein einzigartiger Ausdruck gebrochener Traumlogik, die sich in gemeißelten Postpunk-Gitarr…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
 
EUR 26,99*
Artikel ist im Warenkorb
: Logic, Language, Information, and Computation, Buch

Logic, Language, Information, and Computation

Lecture Notes in Computer Science -Band 14672

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, an…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.